A survey of semantic description frameworks for programming languagesYINGZHOU ZHANG; BAOWEN XU.ACM SIGPLAN notices. 2004, Vol 39, Num 3, pp 14-30, issn 1523-2867, 17 p.Article

Modular Monadic Slicing in the Presence of PointersZHONGQIANG WU; YINGZHOU ZHANG; BAOWEN XU et al.Lecture notes in computer science. 2006, pp 748-756, issn 0302-9743, isbn 3-540-34379-2, 9 p.Conference Paper

Ac voltammetric and impedance studies of the electrochemical oxidation of pyrrole in aqueous mediumKWOK-KEUNG SHIU; YINGZHOU ZHANG; KWOK-YIN WONG et al.Journal of electroanalytical chemistry (1992). 1995, Vol 389, Num 1-2, pp 105-114, issn 1572-6657Article

Modular monadic program slicingYINGZHOU ZHANG; BAOWEN XU; LIANG SHI et al.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol1, 66-71Conference Paper

A monadic program slicerYINGZHOU ZHANG; EMILIO LABRA GAYO, Jose; CEMUDA DEL RIO, Agustin et al.ACM SIGPLAN notices. 2006, Vol 41, Num 5, pp 30-38, issn 1523-2867, 9 p.Article

ASYMPTOTICALLY STABLE MULTI-VALUED MANY-TO-MANY ASSOCIATIVE MEMORY NEURAL NETWORK AND ITS APPLICATION IN IMAGE RETRIEVALLEI CHEN; GENG YANG; YINGZHOU ZHANG et al.Neural Network World (Prague). 2013, Vol 23, Num 2, pp 169-189, issn 1210-0552, 21 p.Article

Clustering facilitated web services discovery model based on supervised term weighting and adaptive metric learningLEI CHEN; GENG YANG; WEI ZHU et al.International journal of Web engineering and technology. 2013, Vol 8, Num 1, pp 58-80, issn 1476-1289, 23 p.Article

Retrospect and prospect of formal methods education in ChinaBAOWEN XU; YINGZHOU ZHANG; YANHUI LI et al.Lecture notes in computer science. 2004, pp 225-234, issn 0302-9743, isbn 3-540-23611-2, 10 p.Conference Paper